le_gusta(fulano,agua).
le_gusta(fulano,cerveza).
le_gusta(fulano,refresco).
le_gusta(fulano,leche).
le_gusta(zutano,cerveza).
le_gusta(zutano,refresco).
le_gusta(mengano,agua).
le_gusta(mengano, leche).

pertenece(X,Y,Z):-X>Y,X<Z.

%consult(ejem) para ejecutar en consola

suc(0,1).
suc(X,Y):-X>0, Y is X+1.

n(c).
n(s(X)).

fact(0,s(0)).
fact(s(X),Y*s(X)):-fact(X,Y).

